Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
411	Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation Mario Alviano, Wolfgang Faber, and Nicola Leone Department of Mathematics University of CalabriaRende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-17 20:33:04 Logic programming Mathematical logic Theoretical computer science Logic Order theory Model theory Stable model semantics Path ordering Negation as failure FO
412	The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars Makoto Kanazawa and Sylvain Salvati 1 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2013-11-24 23:56:09 Complexity classes Type theory Categorial grammar Theoretical computer science NP Grammar P Mathematics Washington State Judicial election 18th South African Parliament
413	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic
414	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
415	MATEC Web of Conferences 4 2 , ) DOI: m atecconf1 0 C Owned by the authors, published by EDP Sciences, 2016 Evaluation of different frontier-based multi-robot exploration stra Add to Reading List Source URL: www.matec-conferences.org Language: English Theoretical computer science Mathematics Robotics Discrete mathematics Robot Mobile robot Algorithm Greedy algorithm Motion planning Applied mathematics
416	Introduction Compositionality: Interaction and Independence Applications and Acceptance Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:39:14 Process calculi Jane Hillston PEPA Laboratory for Foundations of Computer Science Markov chain Principle of compositionality Process calculus Edinburgh Philosophy Theoretical computer science
417	The Complexity of Crowdsourcing: Theoretical Problems in Human Computation Anand Kulkarni Department of Industrial Engineering and Operations Research 4141 Etcheverry Hall, University of California, Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:55 Human-based computation Crowdsourcing Theoretical computer science Computing Business Collective intelligence Workflow technology Social information processing Amazon Mechanical Turk Microtask Algorithm Computation
418	Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-29 06:58:27 Theoretical computer science Logic in computer science Programming language semantics Denotational semantics Semantics Action semantics Operational semantics Programming language
419	PHYSICAL REVIEW LETTERS PRL 115, week ending 31 DECEMBER 2015 Add to Reading List Source URL: web.physics.ucsb.edu Language: English - Date: 2016-01-01 17:23:14 Quantum mechanics Physics Quantum information science Theoretical computer science Qubit Beam splitter Quantum superposition Photon Quantum circuit Phase qubit Quantum entanglement Circuit quantum electrodynamics

UPDATE